Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
661	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Logical syntax Formal languages Boolean algebra Well-formed formula Logical connective Logic Mathematical logic Propositional calculus
662	Mart´ın H. Escard´ o. BSc, MSc, PhD Last updated November 14, 2014. See also http://www.cs.bham.ac.uk/ mhe/ I was born in Rio de Janeiro, Brazil. I am married and have three children, born in 1998, 2000 and 2010. Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-11-14 10:40:02 Logic in computer science Formal methods Computability theory Models of computation Dana Scott Semantics of programming languages IEEE Symposium on Logic in Computer Science Computer science Mathematical logic Theoretical computer science Mathematics Applied mathematics
663	Packrat Parsers Can Handle Practical Grammars in Mostly Constant Space Kota Mizushima Atusi Maeda Add to Reading List Source URL: ialab.cs.tsukuba.ac.jp Language: English - Date: 2010-04-05 00:51:56 Formal languages Computing Compiler construction Parsing expression grammar Parser generators Top-down parsing LL parser LR parser Recursive descent parser Programming language implementation Parsing Syntax
664	Languages and states (another view of “Why”) Cliff Jones Newcastle University Menu Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:35 Proof theory Formal systems Computational complexity theory Theorems Mathematical proof Conjecture Proof Logic Mathematics Mathematical logic
665	Converting regexes to Parsing Expression Grammars ´ Marcelo Oikawa1 , Roberto Ierusalimschy1 , Ana Lucia de Moura1 1 Add to Reading List Source URL: www.inf.puc-rio.br Language: English - Date: 2011-09-01 13:14:30 Computer programming Software engineering Computing Parsing Automata theory Parsing expression grammar Lookahead Syntactic predicate Perl Compatible Regular Expressions Regular expressions Pattern matching Formal languages
666	Transaction Logic with Defaults and Argumentation Theories ∗ Paul Fodor and Michael Kifer Stony Brook University Stony Brook, NY 11794, USA pfodor, Add to Reading List Source URL: silk.semwebcentral.org Language: English - Date: 2011-05-19 13:21:42 Mathematical logic Formal languages Knowledge representation Epistemology Model theory Literal Interpretation Term algebra Fluent Logic Logic programming Mathematics
667	EVALUATORS FOR ATTRIBUTE GRAMMARS by Ralph Charles Merkle Add to Reading List Source URL: www.merkle.com Language: English - Date: 2010-09-09 17:54:39 Software engineering Computing Attribute grammar Formal grammar Parsing SYNTAX Context-free grammar Semantics of programming languages Van Wijngaarden grammar Formal languages Compiler construction Programming language implementation
668	Statistical resolution of scope ambiguity in natural language Galen Andrew and Bill MacCartney 4 March Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2004-05-23 15:14:14 Semantics Mathematics Predicate logic Formal languages Sentence Model theory Regular expression Interpretation Cross-validation Logic Mathematical logic Quantification
669	On Computing Belief Change Operations using Quantified Boolean Formulas∗ Torsten Schaub† Institut f¨ur Informatik Universit¨at Potsdam Postfach Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2004-08-04 13:44:38 Formal languages Model theory Propositional calculus Logic programming Interpretation Principia Mathematica Belief revision First-order logic Constructible universe Logic Mathematics Mathematical logic
670	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Logical syntax Elementary mathematics Non-classical logic Formal languages Logic programming Circumscription Well-formed formula Logical connective Function Logic Mathematics Mathematical logic

UPDATE